Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
411	The Axiomatic Approach to Population Ethics* Charles Blackorby, Walter Bossert and David Donaldson March 2001 Add to Reading List Source URL: cis.ier.hit-u.ac.jp Language: English - Date: 2014-07-01 09:02:56 Formal systems Ethics Consequentialism Decision theory Average and total utilitarianism Ethology Utility Mere addition paradox Preference Utilitarianism Philosophy Classical liberalism
412	Microsoft Word - D1 3_v1.1 - FINAL.doc Add to Reading List Source URL: www.envision-project.eu Language: English - Date: 2012-11-08 11:26:57 Validity Science Formal methods Software quality RM-ODP Validation Verification and validation Software testing Software development process Software development Systems engineering Pharmaceutical industry
413	Dubberly - What is interaction01a.indd Add to Reading List Source URL: www.dubberly.com Language: English - Date: 2014-07-01 15:31:27 Knowledge Ethology Systems theory Formal sciences Systems Feedback Human–computer interaction Interaction design Interaction Science Control theory Cybernetics
414	NOT PROTECTIVELY MARKED Office for Nuclear Regulation An agency of HSE ONR GUIDE Add to Reading List Source URL: www.onr.org.uk Language: English - Date: 2014-03-31 18:53:18 Risk Systems engineering Quality Formal methods IEC 61508 Functional Safety Software development process Specification Validation Safety Security Prevention
415	50th Anniversary Conference of the American Society for Cybernetics Held at The George Washington University in Washington DC, 3rd to 9th of August 2014 CONFERENCE AND THEME Add to Reading List Source URL: asc-cybernetics.org Language: English - Date: 2014-03-26 08:47:58 Systems theory Formal sciences Knowledge American Society for Cybernetics New cybernetics Cybernetics Science Systems science
416	Crunching Big Data-Connect Article v2.docxNEW Add to Reading List Source URL: www.gravic.com Language: English - Date: 2014-03-06 14:27:59 Computing Formal sciences Database management systems Database theory Analytics Big data Apache Hadoop Real-time business intelligence Data warehouse Data management Technology Business intelligence
417	Formal Specifications of Security Policy Models Wolfgang Thumser T-Systems GEI GmbH ======! T§==Systems= Add to Reading List Source URL: www.commoncriteriaportal.org Language: English - Date: 2011-10-31 11:59:09 Evaluation Computer security ISO standards Common Criteria First-order logic Mereology Predicate logic Mathematical logic Logic
418	Brussels Development Policy Briefing no.40 Data: the next revolution for agriculture in ACP countries Organised by CTA, the ACP Secretariat, the European Commission, Concord th 18 February 2015, 14h00-18h00 (preceded by Add to Reading List Source URL: brusselsbriefings.files.wordpress.com Language: English - Date: 2015-02-18 03:59:27 Database management systems Database theory Science Data analysis Business intelligence Data mining Big data Geographic information system African Caribbean and Pacific Group of States Data management Technology Formal sciences
419	cover story Interactions with Big Data Analytics Danyel Fisher Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-05-03 19:01:36 Business intelligence Formal sciences Database management systems Computer graphics Scientific modeling Data analysis Big data ADAPA Visualization Science Computing Statistics
420	Reliability Digest, NovemberExploit Generation from Software Failures Shih-Kun Huang Information Technology Service Center National Chiao Tung University Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2014-11-17 21:02:54 Automated theorem proving Concolic testing Symbolic execution Reliability engineering KeY Code injection Function Mathematics Formal methods Systems engineering

UPDATE